English translation for "propositional formula"

命题公式

Related Translations:

propositional:  建议的提议的主张的

propositional act:  命题行为

propositional knowledge:  陈述性知识命题性知识

propositional connective:  命题联结词

propositional symbol:  命题符号

propositional calculus:  句子逻辑命题逻辑命题演算

propositional tree:  命题树

propositional thinking:  判断性思维

propositional representation:  命题表征

propositional function:  命题函数

Example Sentences:

	1.	For efficient reasons , the lemmas are represented in propositional formulas and a sat solver is used to perform the necessary reasoning 提出了一个新的直接搜索算法，它使用了在sat问题中行之有效的冲突分析和学习机制。
	2.	Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
	3.	Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。

Similar Words：

"propositional coding theory" English translation, "propositional connective" English translation, "propositional constant" English translation, "propositional content" English translation, "propositional form" English translation, "propositional function" English translation, "propositional indicator" English translation, "propositional inference" English translation, "propositional knowledge" English translation, "propositional law" English translation